[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 110 195 0 119 0 0 0

N.S.

1 1.00 1.34 2.38 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.469 0.686 0.792 0.000 0.094 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 115 136 345 0 163 0 0 0

N.S.

1 1.03 1.21 3.08 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.609 1.545 0.865 0.000 0.089 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F A F(-1)

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

257 263 123 605 219 956 0 248 0

N.S.

1 1.02 0.48 2.35 0.85 3.72 0.00 0.96 0.00

time (sec)

N/A 0.459 0.868 15.087 0.320 0.356 0.000 0.379 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F A F(-1)

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

227 224 113 527 189 943 0 220 0

N.S.

1 0.99 0.50 2.32 0.83 4.15 0.00 0.97 0.00

time (sec)

N/A 0.430 0.596 14.338 0.328 0.358 0.000 0.397 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 23 63 0 26 530

N.S.

1 1.00 1.00 0.85 1.15 3.15 0.00 1.30 26.50

time (sec)

N/A 0.208 0.428 0.154 0.261 0.251 0.000 0.382 8.183

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 41 50 48 35 91 0 45 831

N.S.

1 0.95 1.16 1.12 0.81 2.12 0.00 1.05 19.33

time (sec)

N/A 0.234 0.387 0.863 0.236 0.273 0.000 0.516 13.898

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 60 60 57 48 114 0 58 1132

N.S.

1 0.92 0.92 0.88 0.74 1.75 0.00 0.89 17.42

time (sec)

N/A 0.240 0.462 0.952 0.226 0.313 0.000 0.512 15.050

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 150 122 444 0 0 0 0 0

N.S.

1 1.04 0.85 3.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.752 1.857 1.460 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 117 100 431 0 0 0 0 0

N.S.

1 1.03 0.88 3.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.600 1.274 1.177 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 97 417 0 0 0 0 0

N.S.

1 1.00 1.15 4.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.460 0.767 0.945 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 69 366 0 0 0 0 0

N.S.

1 1.00 0.88 4.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.445 0.492 0.948 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 144 105 373 0 246 0 0 0

N.S.

1 1.31 0.95 3.39 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 0.583 1.398 0.963 0.000 0.103 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 177 116 392 0 309 0 0 0

N.S.

1 1.26 0.83 2.80 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 0.755 0.910 1.004 0.000 0.103 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 51 444 0 65 0 0 80

N.S.

1 1.00 0.75 6.53 0.00 0.96 0.00 0.00 1.18

time (sec)

N/A 0.326 0.709 1.862 0.000 0.241 0.000 0.000 5.357

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 80 156 0 102 0 0 0

N.S.

1 1.00 0.91 1.77 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.417 5.605 2.746 0.000 0.087 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 71 0 47 0 0 60

N.S.

1 1.00 1.00 2.37 0.00 1.57 0.00 0.00 2.00

time (sec)

N/A 0.205 0.458 1.624 0.000 0.238 0.000 0.000 3.300

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 60 79 0 64 0 0 0

N.S.

1 1.00 1.20 1.58 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.267 0.373 1.408 0.000 0.080 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 73 72 164 0 413 0 0 0

N.S.

1 0.68 0.67 1.53 0.00 3.86 0.00 0.00 0.00

time (sec)

N/A 0.335 0.567 1.392 0.000 0.416 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 79 153 0 147 0 0 0

N.S.

1 1.00 0.92 1.78 0.00 1.71 0.00 0.00 0.00

time (sec)

N/A 0.393 0.592 1.591 0.000 0.091 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 124 99 467 0 127 0 0 0

N.S.

1 0.98 0.79 3.71 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 0.534 5.629 3.939 0.000 0.095 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 45 436 0 57 0 0 69

N.S.

1 1.00 0.66 6.41 0.00 0.84 0.00 0.00 1.01

time (sec)

N/A 0.330 0.450 1.786 0.000 0.250 0.000 0.000 4.109

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 83 310 0 100 0 0 0

N.S.

1 1.00 0.99 3.69 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.395 0.508 2.641 0.000 0.085 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 268 0 45 0 0 39

N.S.

1 1.00 1.00 8.93 0.00 1.50 0.00 0.00 1.30

time (sec)

N/A 0.209 0.384 2.073 0.000 0.253 0.000 0.000 3.558

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 92 329 0 103 0 0 0

N.S.

1 1.00 1.02 3.66 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.413 0.549 2.130 0.000 0.093 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 110 104 221 0 524 0 0 0

N.S.

1 0.76 0.72 1.52 0.00 3.61 0.00 0.00 0.00

time (sec)

N/A 0.469 0.621 1.992 0.000 0.480 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 128 100 464 0 136 0 0 0

N.S.

1 1.04 0.81 3.77 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.565 1.170 5.078 0.000 0.093 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 52 48 0 71 0 0 88

N.S.

1 1.00 0.76 0.71 0.00 1.04 0.00 0.00 1.29

time (sec)

N/A 0.337 0.612 0.850 0.000 0.262 0.000 0.000 5.393

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 87 432 0 117 0 0 0

N.S.

1 1.00 0.99 4.91 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.395 0.580 2.606 0.000 0.092 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 33 0 53 0 0 69

N.S.

1 1.00 1.00 1.03 0.00 1.66 0.00 0.00 2.16

time (sec)

N/A 0.206 0.502 0.826 0.000 0.264 0.000 0.000 3.948

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 69 306 0 71 0 0 0

N.S.

1 1.00 1.38 6.12 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.275 0.419 1.820 0.000 0.086 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 73 80 158 0 419 0 0 0

N.S.

1 0.69 0.75 1.49 0.00 3.95 0.00 0.00 0.00

time (sec)

N/A 0.324 0.404 0.773 0.000 0.406 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 89 275 0 157 0 0 0

N.S.

1 1.00 1.02 3.16 0.00 1.80 0.00 0.00 0.00

time (sec)

N/A 0.394 0.631 1.529 0.000 0.095 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 111 112 292 0 605 0 0 0

N.S.

1 0.76 0.77 2.00 0.00 4.14 0.00 0.00 0.00

time (sec)

N/A 0.465 0.831 1.147 0.000 0.482 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 153 67 63 0 84 0 0 296

N.S.

1 1.05 0.46 0.43 0.00 0.58 0.00 0.00 2.03

time (sec)

N/A 0.629 1.800 0.951 0.000 0.276 0.000 0.000 9.517

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 113 57 53 0 71 0 0 94

N.S.

1 1.04 0.52 0.49 0.00 0.65 0.00 0.00 0.86

time (sec)

N/A 0.469 0.958 1.006 0.000 0.264 0.000 0.000 6.002

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 45 40 0 55 0 0 81

N.S.

1 1.00 1.41 1.25 0.00 1.72 0.00 0.00 2.53

time (sec)

N/A 0.215 0.595 0.845 0.000 0.254 0.000 0.000 4.821

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 107 88 207 0 529 0 0 0

N.S.

1 0.76 0.62 1.47 0.00 3.75 0.00 0.00 0.00

time (sec)

N/A 0.467 0.624 1.108 0.000 0.478 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 113 103 288 0 608 0 0 0

N.S.

1 0.75 0.68 1.91 0.00 4.03 0.00 0.00 0.00

time (sec)

N/A 0.472 0.597 1.098 0.000 0.468 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 173 118 178 0 140 0 0 0

N.S.

1 1.04 0.71 1.07 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.744 1.631 6.367 0.000 0.100 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 133 97 256 0 126 0 0 0

N.S.

1 1.02 0.75 1.97 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.539 0.846 3.795 0.000 0.089 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 80 131 0 104 0 0 0

N.S.

1 1.00 0.86 1.41 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.409 0.594 2.099 0.000 0.089 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 79 152 0 149 0 0 0

N.S.

1 1.00 0.92 1.77 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.403 0.506 1.794 0.000 0.093 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 128 96 171 0 200 0 0 0

N.S.

1 0.98 0.74 1.32 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.559 0.679 1.906 0.000 0.100 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 171 106 193 0 264 0 0 0

N.S.

1 1.02 0.63 1.16 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.743 0.953 2.543 0.000 0.114 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 69 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 10.770 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 69 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 10.616 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 64 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 10.581 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 62 67 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 10.709 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 63 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 10.753 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 63 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 10.645 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 63 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.321 10.629 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 69 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.313 10.829 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 65 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 11.213 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 66 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.324 10.573 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 66 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 10.643 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 62 121 0 0 0 0 0 0

N.S.

1 1.00 1.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.338 31.134 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 85 0 0 0 0 0 0

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 10.766 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 72 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 10.694 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 67 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 10.864 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 70 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 10.705 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 48 53 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 48 53 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.211 0.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 18 17 0 17 17

N.S.

1 1.00 1.00 1.06 1.06 1.00 0.00 1.00 1.00

time (sec)

N/A 0.189 0.007 0.480 0.290 0.263 0.000 0.308 2.887

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

46 44 37 2751 47 57 0 0 91

N.S.

1 0.96 0.80 59.80 1.02 1.24 0.00 0.00 1.98

time (sec)

N/A 0.233 0.045 1.190 0.254 0.255 0.000 0.000 4.088

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 67 62 6931 71 112 0 0 219

N.S.

1 0.93 0.86 96.26 0.99 1.56 0.00 0.00 3.04

time (sec)

N/A 0.254 0.264 2.018 0.267 0.262 0.000 0.000 8.690

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 71 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.094 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 71 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 69 66 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 0.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 71 71 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.314 0.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 87 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.350 0.890 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 87 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.593 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 87 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 0.545 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 87 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.939 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

83 83 260 0 0 0 0 0 0

N.S.

1 1.00 3.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.369 1.823 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 53 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.227 0.426 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 53 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 0.289 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 22 30 28 42 0 0 53

N.S.

1 1.00 0.88 1.20 1.12 1.68 0.00 0.00 2.12

time (sec)

N/A 0.212 0.281 1.824 0.293 0.249 0.000 0.000 2.997

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

53 51 46 5281 55 86 0 0 138

N.S.

1 0.96 0.87 99.64 1.04 1.62 0.00 0.00 2.60

time (sec)

N/A 0.243 0.290 20.026 0.291 0.248 0.000 0.000 4.743

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 75 69 10580 81 144 0 0 0

N.S.

1 0.94 0.86 132.25 1.01 1.80 0.00 0.00 0.00

time (sec)

N/A 0.252 0.390 151.818 0.288 0.255 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

78 78 456 0 0 0 0 0 0

N.S.

1 1.00 5.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 2.297 0.000 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

76 76 252 0 0 0 0 0 0

N.S.

1 1.00 3.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.311 1.575 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 64 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.330 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

78 78 743 0 0 0 0 0 0

N.S.

1 1.00 9.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.322 13.223 0.000 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

78 78 1017 0 0 0 0 0 0

N.S.

1 1.00 13.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 14.172 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

89 89 297 0 0 0 0 0 0

N.S.

1 1.00 3.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.364 32.845 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 91 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 11.648 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.351 11.343 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 90 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.351 9.652 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 81 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 0.616 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 64 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.253 0.145 0.000 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

232 229 109 707 207 212 0 0 97

N.S.

1 0.99 0.47 3.05 0.89 0.91 0.00 0.00 0.42

time (sec)

N/A 0.615 0.581 17.605 0.331 0.275 0.000 0.000 2.814

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

214 209 91 568 190 187 0 0 83

N.S.

1 0.98 0.43 2.65 0.89 0.87 0.00 0.00 0.39

time (sec)

N/A 0.523 0.165 17.697 0.371 0.248 0.000 0.000 2.875

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

210 201 80 656 189 200 0 0 80

N.S.

1 0.96 0.38 3.12 0.90 0.95 0.00 0.00 0.38

time (sec)

N/A 0.507 0.150 18.903 0.327 0.263 0.000 0.000 3.600

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

192 182 132 448 167 156 0 0 61

N.S.

1 0.95 0.69 2.33 0.87 0.81 0.00 0.00 0.32

time (sec)

N/A 0.428 0.142 14.924 0.465 0.258 0.000 0.000 0.251

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 174 71 136 165 232 0 0 50

N.S.

1 0.91 0.37 0.71 0.86 1.21 0.00 0.00 0.26

time (sec)

N/A 0.380 0.070 0.151 0.594 0.264 0.000 0.000 3.028

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

209 205 164 149 178 253 0 0 74

N.S.

1 0.98 0.78 0.71 0.85 1.21 0.00 0.00 0.35

time (sec)

N/A 0.498 0.142 0.125 0.347 0.263 0.000 0.000 2.960

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

214 201 100 156 187 328 0 0 76

N.S.

1 0.94 0.47 0.73 0.87 1.53 0.00 0.00 0.36

time (sec)

N/A 0.515 0.212 0.133 0.318 0.275 0.000 0.000 3.102

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

231 231 172 171 199 339 0 0 90

N.S.

1 1.00 0.74 0.74 0.86 1.47 0.00 0.00 0.39

time (sec)

N/A 0.605 0.302 0.129 0.335 0.265 0.000 0.000 3.782

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

234 229 109 632 207 223 0 0 97

N.S.

1 0.98 0.47 2.70 0.88 0.95 0.00 0.00 0.41

time (sec)

N/A 0.631 0.563 3.407 0.475 0.263 0.000 0.000 2.784

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A C F F B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

214 209 91 569 190 196 0 0 83

N.S.

1 0.98 0.43 2.66 0.89 0.92 0.00 0.00 0.39

time (sec)

N/A 0.525 0.178 2.089 0.533 0.278 0.000 0.000 2.692

[next] [prev] [prev-tail] [front] [up]